Proposition 2.1.11

Let be a unital C-star-Algebra.
Let be an invertible element in , and take with . Then is invertible,and in